Module isotope::ctx::subst[][src]

Expand description

Contexts for substituting terms

Structs

Shift

Shift a term up or down by an amount

SubstSlice

A simple slice of substitutions

SubstVec

A simple vector of substitutions

Traits

EvalCtx

A context for evaluating terms

SubstCtx

A context for substituting terms